Efficient resource management for linear logic proof search (0)

by Iliano Cervesato, Joshua S Hodas, Frank Pfenning
Venue:Theoretical Computer Science