1. Anderson, J.S., Farley, A.M.: Plan abstraction based on operator generalization. In: Proceedings of the Seventh National Conference on Artificial Intelligence, Saint Paul, MN, pp. 100–104 (1988)
2. Christensen, J.: Automatic Abstraction in Planning. PhD thesis, Department of Computer Science, Stanford University (1991)
3. Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
4. Giunchiglia, F., Walsh, T.: A theory of abstraction. Artificial Intelligence 57, 323–389 (1992)
5. Kanovich, M.I.: Linear logic as a logic of computations. Annals of Pure and Applied Logic 67, 183–212 (1994)