1. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
2. Focusing and proof construction;Andreoli;Annals of Pure and Applied Logic,2001
3. Efficient resource management for linear logic proof search;Cervesato;Theoretical Computer Science,2000
4. Chang E., “Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective,” Master's thesis, School of Computer Science, Carnegie Mellon University (2002).
5. Resource distribution via boolean constraints;Harland;ACM Transactions on Computational Logic,2001