Cut formulae and logic programming (1994)

by L Pinto
Venue:Extensions of Logic Programming: Proc. of the 4th International Workshop ELP’93