1. Towards a theory of declarative knowledge;Apt,1988
2. Automated Theorem Proving;Bibel,1987
3. A disjunctive semantics based upon unfolding and bottom-up evaluation;Brass,1994
4. S. Brass and J. Dix, Disjunctive semantics based upon partial and bottom-up evaluation, in L. Sterling (ed.), Proc. 12th Intl. Conf. on Logic Programming, Tokyo (MIT Press).
5. A general approach to bottom-up computation of disjunctive semantics;Brass,1995