1. [Bain 91] M. Bain and S. Muggleton. Non-monotonic learning. In D. Michie, editor, Machine Intelligence 12: 105-120. Oxford University Press, 1991.
2. [BYTE 97] BYTE, 22(12), McGraw-Hill, 1997.
3. [De Raedt 93] L. De Raedt and M. Bruynooghe, A theory of clausal discovery. in Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 1058-1063, Morgan Kaufmann, 1993.
4. [Honda 94] K. Honda, C. Kato, H. Ohwada, N. Ichihara and F. Mizoguchi. A Floor Planning System Using Constraint Logic Programming. In Proc. of The 2nd International Conference on the Practical Applications of Prolog, 1994.