On the conversion of structured specifications to logicprograms, Mohd. Zahran Halim - Mohd. Zahran Halim; Universiti Sains Malaysia (Pulau Pinang, Universiti Sains Malaysia, 1980, 1980)
Keywords: Logic programming