1. Lecture Notes in Computer Science;A. Bossi,1989
2. Boye, J., Małuszyński, J.: Directional types and the annotation method. Journal of Logic Programming 33(3), 179–220 (1997)
3. Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Małuszyński, J., Puebla, G.: On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: Kamkar, M. (ed.) Proceedings of the AADEBUG 1997 (The Third International Workshop on Automated Debugging), pp. 155–169. Linköping University (1997)
4. Lecture Notes in Computer Science;W. Charatonik,1998
5. Clark, K.L.: Predicate logic as computational formalism. Technical Report 79/59, Imperial College, London (December 1979)