Design overview of the Nail! system (1986)

by K Morris, J D Ullman, A Van Gelder
Venue:in Proc. Int. Con5 Logic Programming