Mohd. Zahran Halim <br/><br/>
On the conversion of structured specifications to logicprograms, Mohd. Zahran Halim 

 - Pulau Pinang, Universiti Sains Malaysia, 1980 
 - 33 p. : ill. 
 - Report; 10/82 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming