Rule-Based Languages, Vianu V.. Annas of Mathematics and Artificial Intelligence 19 (1997), paper 215-29.
Rule-Based Languages, Vianu V.. Annals of Mathematics and Artificial Intelligence 19 (1997), pp. 215-259.