A.  Brogi, Mancarella, P., Pedreschi, D., and Turini, F., ?Theory Construction in Computational Logic?, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.