Retractions in Comparing Prolog Semantics (1989)

by A de Bruin, E P de Vink
Venue:in Proc. Computing Science in the Netherlands, Part 1, P.M.G. Apers