Analyses of Inconsistency for Incremental Equational Logic Programming

MarĂ­a Alpuente, Moreno Falaschi, Ferdinando Manzo. Analyses of Inconsistency for Incremental Equational Logic Programming. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 443-457, Springer, 1992.

Abstract

Abstract is missing.