Efficient resource management for linear logic proof search (1996)

by I Cervesato, J S Hodas, F Pfenning
Venue:In Extensions of Logic Programming, LNAI 1050