Alessio Guglielmi
-
A Purely Logical Account of Sequentiality in Proof Search
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
On linear logic planning and concurrency
Information and Computation
Towards resource handling in logic programming: The PPL framework and fits semantics
Computer Languages