1. Reasoning with Logic Programming (LNAI 1111);Alferes,1996
2. The Java Programming Language;Arnold,2000
3. Design rationale of RuleML: a markup language for semantic web rules;Boley,2001
4. Amalgamating language and meta-language in logic programming;Bowen,1982
5. Intentions, Plans, and Practical Reason;Bratmann,1987