1. . A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. Proceedings of International Conference on Logic Programming (ICLP). Springer: Berlin, 2001; 181–196.
2. Lecture Notes;Rocha,2001
3. An abstract machine for tabled execution of fixed-order stratified logic programs
4. , , . Implementation of a linear tabling mechanism. Proceedings of Practical Aspects of Declarative Languages (PADL). Springer: Berlin, 2000.
5. , , , , . Efficient model checking using tabled resolution. Proceedings of the 1997 International Conference on Computer Aided Verification (CAV'97). Springer: Berlin, 1997; 143–154.