
656
Mäher
Acknowledgments
I thank Joxan Jaffar, Jean-Louis Lassez, and the referees for their comments on
a previous version of this paper, which helped improve the presentation. This
research was partially supported by the Australian Computer Research Board
and the Australian Department of Science.
References
1.
Apt., K. R. and Emden, M. H. van [1982] Contributions to the Theory of Logic
Programming, JACM 29(3):841-862.
2.
Blair, H. [1986] Personal communication.
3.
Buntine, W. [1986] Generalised Subsumption and Its Applications to Induction and
Redundancy, Artificial Intelligence, to appear. Preliminary version appeared in
Proc. European