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!