Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development
TAPSOFT, Vol.2: AS, 1987.

@proceedings{AS-v2-1987,
	doi           = "10.1007/BFb0014968",
	editor        = "Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari",
	isbn          = "3-540-17611-X",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development}",
	volume        = 250,
	year          = 1987,
}

Contents (4 items)

AF-1987-GoguenM #logic #modelling #programming #similarity

Models and Equality for Logical Programming (JAG, JM), pp. 1–22.

AF-1987-Furukawa #generative #process #research

Fifth Generation Computer Project: Current Research Activity and Future Plans (KF), pp. 23–38.

AF-1987-ClarkF #concurrent #declarative #logic programming

A Declarative Environment for Concurrent Logic Programming (KLC, ITF), pp. 212–242.

AF-1987-Warren #execution #modelling #prolog

Or-Parallel Execution Models of Prolog (DHDW), pp. 243–259.