A grammatical view of logic programming (1993)

by P Deransart, J Małuszyński