[comp.lang.prolog] References Needed

francia@nmt.edu (Guillermo A. Francia) (06/06/90)

~r b

francia@jupiter.nmt.edu (Guillermo A. Francia) (06/06/90)

I am trying to get hold of copies of two very recent papers:

	1) "Logical Animation", by Cunningham, et. al., Proceedings
	of the Int'l Conf. on Software Engineering, Nice, France, 1990; and

	2) "A Theory of Testing in Logic Programming", by Liliane Lardot
	and Norbert Batllou, in Proceedings of the Workshop on Logic
	Programming Environments, Int'l Conf. on Logic Programming 7,
	June 14, 1990, Eilat, Israel.

Any help will be greatly appreciated. Please reply via e-mail (at
francia@jupiter.nmt.edu). THANKS!