Forward and backward chaining in linear logic (2000)

by J Harland, D Pym, M Winikoff
Venue:In CADE-17 Workshop on Proof-Search in Type-Theoretic Systems