Properties of input-consuming derivations (1999)

by A Bossi, S Etalle, S Rossi
Venue:Proc. of the ICLP Workshop on Verification of Logic Programs. Electronic Notes in Theoretical Computer Science