Control generation for logic programs (1993)

by S Luttringhaus-Kappel
Venue:Proc. Tenth Int'l Conf. on Logic Programming