1. Ali, S. S. and S. Shapiro: 1993, ‘Natural language processing using a propositional semantic network’. Minds and Machines
3 (4), 421–452.
2. Allen, J. F.: 1984, ‘Towards a general theory of action and time’. Artificial Intelligence
23, 123–154.
3. Franconi, E.: 1993, ‘A treatment of plurals and plural quantifications based on a theory of collections’. Minds and Machines
3 (4), 453–474.
4. Harel, D.: 1984, ‘Dynamic Logic’. In: D. Gabbay and F. Guenthner (eds.): Handbook of Philosophical logic, Vol. II. D. Reidel, Dordrecht, pp. 89–133.
5. Henkin, L., J. M. and A. Tarski: 1985, Cylindric Algebras, Vol. II. Amsterdam: North Holland.