C.Moiso: An extension of WAM for K-LEAF: A WAM-based compilation of conditional narrowing (1989)

by C Cecchi P G Bosco
Venue:Int. Conf. on Logic Programming