John K. Debenham

186 papers A* 3A 8B 11C 30Misc 14Journal 14Unranked 102

Year	Rank	Type	Title / Venue / Authors
2013	C	`conf`	A measurement protocol for channel assignment based topology control on multi-radio wireless mesh networks. ISCC Ante Prodan, John K. Debenham
2013	—	`conf`	Managing Emergent Processes with Information-Based Agents. EGOVIS/EDEM John K. Debenham
2013	—	`conf`	The 'Two-Hop Principle': Stability of MAS in Communications Networks. HoloMAS John K. Debenham, Ante Prodan
2013	J	`jnl`	Trust and matching algorithms for selecting suitable agents. ACM Trans. Intell. Syst. Technol. Nardine Osman, Carles Sierra, Fiona McNeill, Juan Pane, John K. Debenham
2012	Misc	`conf`	'Believable' Agents Build Relationships on the Web. DCAI John K. Debenham, Simeon J. Simoff
2012	B	`conf`	CARMA: Complete autonomous responsible management agents for telecommunications and inter-cloud services. NOMS Haydn Mearns, John Leaney, Artem Parakhine, John K. Debenham, Dominique Verchère
2012	—	`conf`	Online Tender Evaluation: VietNam Government e-Procurement System. EGOVIS/EDEM La Anh Tuan, John K. Debenham
2012	Misc	`conf`	Power Conservation in Wired Wireless Networks. DCAI John K. Debenham, Simeon J. Simoff
2012	—	`conf`	Robust Trust: Prior Knowledge, Time and Context. EC-Web John K. Debenham, Carles Sierra
2012	—	`conf`	The Co-Creation Machine: Managing Co-Creative Processes for the Crowd. EGOVIS/EDEM John K. Debenham, Simeon J. Simoff
2011	Misc	`conf`	An Autonomic Open Marketplace for Inter-Cloud Service Management. UCC Haydn Mearns, John Leaney, Artem Parakhine, John K. Debenham, Dominique Verchère
2011	B	`conf`	An autonomic open marketplace for service management and resilience. CNSM Haydn Mearns, John Leaney, Artem Parakhine, John K. Debenham, Dominique Verchère
2011	—	`conf`	Argumentation with Advice. EC-Web John K. Debenham, Carles Sierra
2011	—	`conf`	When Trust Is Not Enough. EC-Web John K. Debenham, Carles Sierra
2010	—	`conf`	Agent Argumentation with Opinions and Advice. SGAI Conf. John K. Debenham, Carles Sierra
2010	—	`conf`	An Agent Model of Business Relationships. DEXA (2) John K. Debenham, Carles Sierra
2010	—	`conf`	An Agent for Ecological Deliberation. KES (1) John K. Debenham, Carles Sierra
2010	—	`conf`	Building an Electronic Market System. IEA/AIE (2) Elaine Lawrence, John K. Debenham
2010	—	`conf`	Ecologically Rational Agency. IFIP AI John K. Debenham, Carles Sierra
2010	—	`conf`	Electronic Trading Environments for Web 3.0. EC-Web John K. Debenham, Simeon J. Simoff
2010	—	`conf`	Information Theory Based Intelligent Agents. IEA/AIE (2) Elaine Lawrence, John K. Debenham
2010	—	`conf`	Intelligent Network Management for Healthcare Monitoring. IEA/AIE (3) Karla Felix Navarro, Elaine Lawrence, John K. Debenham
2010	—	`conf`	Managing Power Conservation in Wireless Networks. ADMA (2) Kongluan Lin, John K. Debenham, Simeon J. Simoff
2010	—	`conf`	Reputation as Aggregated Opinions. EC-Web John K. Debenham, Carles Sierra
2010	—	`conf`	Self-organisation of an 802.11 Mesh Network. IEA/AIE (1) John K. Debenham, Ante Prodan
2010	—	`conf`	The Honourable Negotiator: When the Relationship Is What Matters. Australasian Conference on Artificial Intelligence John K. Debenham, Simeon J. Simoff
2009	—	`conf`	A Data Mining System for Estimating a Largesize Matrix for the Environmental Accounting. AIAI (Workshops) Ting Yu, Manfred Lenzen, Blanca Gallego, John K. Debenham
2009	—	`conf`	A Multiagent System for Self-organisation of an 802.11 Mesh Network. HoloMAS John K. Debenham, Ante Prodan
2009	—	`conf`	An Agent Supports Constructivist and Ecological Rationality. IAT John K. Debenham, Carles Sierra
2009	Misc	`conf`	An Argumentation Agent Models Evaluative Criteria. AIAI John K. Debenham
2009	—	`conf`	Believable Electronic Trading Environments on the Web. Web Intelligence John K. Debenham, Simeon J. Simoff
2009	—	`conf`	Dual Rationality and Deliberative Agents. SGAI Conf. John K. Debenham, Carles Sierra
2008	—	`conf`	A Light-Weight Multi-Agent System Manages 802.11 Mesh Networks. IFIP AI Ante Prodan, John K. Debenham
2008	B	`conf`	A Map of Trust between Trading Partners. TrustBus John K. Debenham, Carles Sierra
2008	—	`conf`	A Self-organising Network Based on Lightweight Agents. NBiS John K. Debenham, Ante Prodan
2008	J	`jnl`	A human-centred intelligent system framework: meta-synthetic engineering. Int. J. Intell. Inf. Database Syst. Debbie Zhang, Simeon J. Simoff, Silvana Vanesa Aciar, John K. Debenham
2008	—	`conf`	Agent-Based Negotiation in Uncertain Environments. SGAI Conf. John K. Debenham, Carles Sierra
2008	—	`conf`	An Agent Architecture for an Uncertain World. IAT John K. Debenham, Carles Sierra
2008	—	`conf`	Automating Contract Negotiation. ITNG John K. Debenham, Elaine Lawrence
2008	—	`conf`	Information-Based Argumentation. KRAMAS Carles Sierra, John K. Debenham
2008	—	`conf`	Information-Based Planning and Strategies. IFIP AI John K. Debenham
2008	—	`conf`	Information-based deliberation. AAMAS (2) Carles Sierra, John K. Debenham
2008	J	`jnl`	Merging intelligent agency and the Semantic Web. Knowl. Based Syst. John K. Debenham, Carles Sierra
2008	—	`conf`	Smart communications network management through a synthesis of distributed intelligence and information. IFIP AI John K. Debenham, Simeon J. Simoff, J. R. Leaney, Vinod Mirchandani
2008	—	`conf`	Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions. IFIP AI Anton Bogdanovych, Simeon J. Simoff, Marc Esteva, John K. Debenham
2008	—	`conf`	The Multiagent System for Channel Selection and Topology Control on 802.11 Based Mesh Networks. KES (1) Ante Prodan, Vinod Mirchandani, John K. Debenham
2008	—	`conf`	Validation of two distributed, autonomous self-organisation algorithms for 802.11 mesh networks by simulation. SpringSim John K. Debenham, Ante Prodan
2007	B	`conf`	A Hierarchical VQSVM for Imbalanced Data Sets. IJCNN Ting Yu, Tony Jan, Simeon J. Simoff, John K. Debenham
2007	—	`conf`	A Model for Informed Negotiating Agents. KES-AMSTA John K. Debenham, Simeon J. Simoff
2007	—	`conf`	A method and study of topology control based self-organization in Mesh Networks. AccessNets Vinod Mirchandani, Ante Prodan, John K. Debenham
2007	—	`conf`	Building Business Relationships with Negotiation. EC-Web John K. Debenham, Carles Sierra
2007	—	`conf`	Building Maintainable Knowledge Bases with Knowledge Objects. KES (1) John K. Debenham
2007	C	`conf`	Building Relationships and Negotiating Agreements in a Network of Agents. KSEM John K. Debenham
2007	—	`ch.`	Exchange Rate Modelling for E-Negotiators Using Text Mining Techniques. E-Service Intelligence Debbie Zhang, Simeon J. Simoff, John K. Debenham
2007	—	`conf`	Impact of topology control on the performance of a self-organization scheme for wireless mesh networks. WICON Vinod Mirchandani, Ante Prodan, John K. Debenham
2007	A*	`conf`	Information-Based Agency. IJCAI Carles Sierra, John K. Debenham
2007	Misc	`conf`	Informed Agents Integrating Data Mining and Agency. AIAI John K. Debenham, Simeon J. Simoff
2007	J	`jnl`	Informed Recommender: Basing Recommendations on Consumer Product Reviews. IEEE Intell. Syst. Silvana Vanesa Aciar, Debbie Zhang, Simeon J. Simoff, John K. Debenham
2007	—	`conf`	Merging Intelligent Agency and the Semantic Web. SGAI Conf. John K. Debenham, Carles Sierra
2007	—	`conf`	The Examination of an Information-Based Approach to Trust. COIN Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham
2007	A	`conf`	The LOGIC negotiation model. AAMAS Carles Sierra, John K. Debenham
2006	—	`conf`	A Foundation for Informed Negotiation. ICEIS (2) John K. Debenham, Simeon J. Simoff
2006	—	`conf`	Agents for Information-Rich Environments. CIA John K. Debenham, Simeon J. Simoff
2006	J	`jnl`	An Agent-Based Framework for Emergent Process Management. Int. J. Intell. Inf. Technol. John K. Debenham
2006	A*	`conf`	An e-market framework for informed trading. WWW John K. Debenham, Simeon J. Simoff
2006	—	`conf`	Automated Trading - Making It Happen. Artificial Intelligence and Applications John K. Debenham
2006	—	`conf`	Building Intelligent Negotiating Agents. Australian Conference on Artificial Intelligence John K. Debenham, Simeon J. Simoff
2006	B	`conf`	Classify Unexpected News Impacts to Stock Price by Incorporating Time Series Analysis into Support Vector Machine. IJCNN Ting Yu, Tony Jan, John K. Debenham, Simeon J. Simoff
2006	—	`conf`	Combine Vector Quantization and Support Vector Machine for Imbalanced Datasets. IFIP AI Ting Yu, John K. Debenham, Tony Jan, Simeon J. Simoff
2006	—	`conf`	Fast simulation of animal locomotion: lamprey swimming. IFIP PPAI Matthew Beauregard, Paul J. Kennedy, John K. Debenham
2006	—	`conf`	Identification of Important News for Exchange Rate Modeling. IFIP AI Debbie Zhang, Simeon J. Simoff, John K. Debenham
2006	—	`conf`	Informed Recommender Agent: Utilizing Consumer Product Reviews through Text Mining. IAT Workshops Silvana Vanesa Aciar, Debbie Zhang, Simeon J. Simoff, John K. Debenham
2006	C	`conf`	Intelligent Agents That Make Informed Decisions. ISMIS John K. Debenham, Elaine Lawrence
2006	—	`conf`	Intelligent Agents for Multi-Issue Auctions and Bidding. Artificial Intelligence and Applications John K. Debenham, Simeon J. Simoff
2006	J	`jnl`	Maintaining knowledge with a formal model. Appl. Intell. John K. Debenham
2006	—	`conf`	Making Informed Automated Trading a Reality. EC-Web John K. Debenham, Simeon J. Simoff
2006	—	`conf`	Managing Emergent Processes. KES (1) John K. Debenham, Simeon J. Simoff
2006	—	`conf`	Message Retrieval and Classification from Chat Room Servers Using Bayesian Networks. IIP Debbie Zhang, Simeon J. Simoff, John K. Debenham
2006	—	`conf`	Negotiating Agents for Internet Commerce. CIMCA/IAWTIC John K. Debenham, Elaine Lawrence
2006	—	`conf`	Negotiating Intelligently. SGAI Conf. John K. Debenham, Simeon Simoff
2006	—	`ed.`	Professional Practice in Artificial Intelligence, IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21-24, 2006, Santiago, Chile IFIP PPAI John K. Debenham
2006	—	`conf`	Recommender System Based on Consumer Product Reviews. Web Intelligence Silvana Vanesa Aciar, Debbie Zhang, Simeon J. Simoff, John K. Debenham
2006	—	`conf`	Three Technologies for Automated Trading. IFIP AI John K. Debenham, Simeon J. Simoff
2006	A	`conf`	Trust and honour in information-based agency. AAMAS Carles Sierra, John K. Debenham
2006	Misc	`conf`	Weighted Kernel Model For Text Categorization. AusDM Lei Zhang, Debbie Zhang, Simeon J. Simoff, John K. Debenham
2005	—	`conf`	A Trading Agent for a Multi-Issue Clearing House. SGAI Conf. John K. Debenham
2005	A	`conf`	A multiagent system manages collaboration in emergent processes. AAMAS John K. Debenham
2005	—	`conf`	Agents, Information and Trust. Australian Conference on Artificial Intelligence John K. Debenham, Carles Sierra
2005	—	`conf`	An Agent for Emergent Process Management. ICEIS (4) John K. Debenham
2005	—	`conf`	An Information-Based Agent. HoloMAS John K. Debenham
2005	J	`jnl`	An analysis of knowledge base maintenance. Comput. Sci. Inf. Syst. John K. Debenham
2005	A	`conf`	An information-based model for trust. AAMAS Carles Sierra, John K. Debenham
2005	—	`conf`	Conceptual Modelling within the MAS-CommonKADS Plus OPEN Method Engineering Approach. ICITA (1) Quynh-Nhu Numi Tran, Brian Henderson-Sellers, John K. Debenham, Cesar Gonzalez-Perez
2005	C	`ed.`	Database and Expert Systems Applications, 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings DEXA Kim Viborg Andersen, John K. Debenham, Roland R. Wagner
2005	—	`conf`	Exchange Rate Modelling Using News Articles and Economic Data. Australian Conference on Artificial Intelligence Debbie Zhang, Simeon J. Simoff, John K. Debenham
2005	C	`conf`	Foundations for Automated Trading - Its the Information That Matters. DEXA John K. Debenham
2005	—	`conf`	From Ad-hoc to Engineered Collaboration in Virtual Workspaces. AMCIS Robert P. Biuk-Aghai, Simeon J. Simoff, John K. Debenham
2005	—	`conf`	Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology. AOIS Brian Henderson-Sellers, John K. Debenham, Quynh-Nhu Numi Tran, Massimo Cossentino, Graham Low
2005	—	`conf`	Intelligent Environments for Next-Generation e-Markets. KES (1) John K. Debenham, Simeon J. Simoff
2005	—	`conf`	Managing Collaboration in a Multiagent System. KES (3) John K. Debenham, Simeon J. Simoff
2005	J	`jnl`	Organizational models and interaction patterns for use in the analysis and design of multi-agent systems. Web Intell. Agent Syst. Wenpin Jiao, John K. Debenham, Brian Henderson-Sellers
2004	—	`conf`	A Bargaining Agent aims to ‘Play Fair'. SGAI Conf. John K. Debenham
2004	—	`conf`	A Negotiation Agent. Australian Conference on Artificial Intelligence John K. Debenham
2004	A	`conf`	Adding Agent-Oriented Concepts Derived from Gaia to Agent OPEN. CAiSE Brian Henderson-Sellers, John K. Debenham, Quynh-Nhu Numi Tran
2004	—	`conf`	Auctions and Bidding with Information. AMEC John K. Debenham
2004	A	`conf`	Bargaining with Information. AAMAS John K. Debenham
2004	—	`conf`	Incorporating Elements From Camle in the Open Repository. IIP Cesar Gonzalez-Perez, Brian Henderson-Sellers, John K. Debenham, Graham C. Low, Quynh-Nhu Numi Tran
2004	—	`conf`	Incorporating Elements from the Prometheus Agent-Oriented Methodology in the OPEN Process Framework. AOIS Brian Henderson-Sellers, Quynh-Nhu Numi Tran, John K. Debenham
2004	—	`conf`	Incorporating elements from the Prometheus agent-oriented methodology in the OPEN Process Framework. CAiSE Workshops (2) Brian Henderson-Sellers, Quynh-Nhu Numi Tran, John K. Debenham
2004	—	`conf`	Incorporating the Elements of the Mase Methodology into Agent Open. ICEIS (4) Quynh-Nhu Numi Tran, Brian Henderson-Sellers, John K. Debenham
2004	C	`conf`	Interacting with Electronic Institutions. DEXA John K. Debenham
2004	Misc	`conf`	Knowledge Base Structure: Understanding Maintenance. AIAI John K. Debenham
2004	—	`conf`	Managing E-Market Transaction Processes: Exploring the Limits of Process Management with a Multiagent System. ICEIS (4) John K. Debenham
2004	J	`jnl`	Multi-issue bargaining in an information-rich context. Knowl. Based Syst. John K. Debenham
2004	B	`conf`	Using Messaging Structure to Evolve Agents Roles in Electronic Markets. PRIMA Ghassan Beydoun, John K. Debenham, Achim G. Hoffmann
2003	—	`conf`	A Bargaining Agent Reaches 'Comfortable' Deals. IICAI John K. Debenham
2003	C	`conf`	A Lesson for Software Engineering from Knowledge Engineering. DEXA John K. Debenham
2003	C	`conf`	A Rigorous Approach to Knowledge Base Maintenance. IEA/AIE John K. Debenham
2003	B	`conf`	A Unified Model Maintains Knowledge Base Integrity. KES John K. Debenham
2003	—	`conf`	Agents for High-Level Process Management: The Right Activities, People and Resources to Satisfy Process Constraints. ICEIS (2) John K. Debenham
2003	—	`conf`	An eNegotiation Framework. Australian Conference on Artificial Intelligence John K. Debenham
2003	—	`conf`	An eNegotiation Framework. SGAI Conf. (Applications) John K. Debenham
2003	A	`conf`	Delegating responsibility in a multiagent process management system. AAMAS John K. Debenham
2003	C	`conf`	Evaluating Evolutionary Mechanisms by Simulation. Modelling and Simulation John K. Debenham
2003	—	`conf`	The Right Activities, People and Resources to Satisfy Process Constraints in a Multiagent Process Management System. PDCS John K. Debenham
2002	C	`conf`	Agents for Industry Process Management. DEXA John K. Debenham
2002	C	`conf`	Association Rule Mining by Agents. ICMLA Xiaowei Yan, Chengqi Zhang, Shichao Zhang, John K. Debenham
2002	—	`conf`	Curious Negotiator. CIA Simeon J. Simoff, John K. Debenham
2002	—	`conf`	Designing a Curious Negotiator. DEXA Workshops John K. Debenham, Simeon J. Simoff
2002	C	`conf`	Entrepreneurial Intervention in an Electronic Market Place. IEA/AIE John K. Debenham
2002	—	`conf`	Estimating Knowledge Decay. IIP John K. Debenham
2002	—	`conf`	Full Lifecycle Methodologies for Agent-Oriented Systems - The Extended OPEN Process Framework. AOIS@CAiSE John K. Debenham, Brian Henderson-Sellers
2002	—	`conf`	Identifying Arbitrage Opportunities in E-markets. EC-Web John K. Debenham
2002	Misc	`conf`	Investigating e-Market Evolution. International Conference on Computational Science (1) John K. Debenham
2002	—	`conf`	Knowledge-Driven Processes Can Be Managed. Australian Joint Conference on Artificial Intelligence John K. Debenham
2002	—	`conf`	Who Does What in a Multiagent System for Emergent Process Management. ECBS John K. Debenham
2001	Misc	`conf`	A Multiagent Architecture Addresses the Complexity of Industry Process Re-engineering. International Conference on Computational Science (1) John K. Debenham
2001	—	`conf`	An Agent for Web-Based Process Management. ECBS John K. Debenham
2001	—	`conf`	An Intelligent Multiagent System for the Management of Strategic Business Processes. Integrated Network Management John K. Debenham
2001	—	`conf`	Interaction Adaptivity in Cooperative Agent for Emergent Process Management. CODAS Aizhong Lin, John K. Debenham
2001	B	`conf`	Investigating the Evolution of Electronic Markets. CoopIS John K. Debenham, Simeon J. Simoff
2001	C	`conf`	Knowledge Base Maintenance through Knowledge Representation. DEXA John K. Debenham
2001	—	`conf`	Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management. Australian Joint Conference on Artificial Intelligence John K. Debenham
2001	Misc	`conf`	Validity of First-Order Knowledge Bases. FLAIRS John K. Debenham
2001	C	`conf`	Why Use a Unified Knowledge Representation? IEA/AIE John K. Debenham
2000	—	`conf`	A Multi-Agent Architecture for Process Management Accommodates Unexpected Performance. SAC (1) John K. Debenham
2000	B	`conf`	Delegation of Responsibility in an Agent-Based Process Management. PRIMA John K. Debenham
2000	C	`conf`	Knowledge Decay in a Normalised Knowledge Base. DEXA John K. Debenham
2000	C	`conf`	Reasoning and Belief Revision in an Agent for Emergent Process Management. IEA/AIE John K. Debenham
2000	J	`jnl`	Teaching Formal Languages by an Intelligent Tutoring System. J. Educ. Technol. Soc. Vladan Devedzic, John K. Debenham, Dusan Popovic
2000	Misc	`conf`	The Degradation of Knowledge Base Integrity. FLAIRS John K. Debenham
1999	—	`conf`	Adaptive Plans for Business Process Control. IIA/SOCO John K. Debenham
1999	C	`conf`	An Adaptive, Maintable, Extensible Process Agent. DEXA John K. Debenham
1999	—	`conf`	Context as Fuzzy Degrees of Acceptability for Knowledge Base Integrity. CONTEXT John K. Debenham
1999	—	`conf`	Knowledge Base Simplification. IIA/SOCO John K. Debenham
1999	Misc	`conf`	Knowledge Object Decomposition. FLAIRS John K. Debenham
1999	—	`conf`	Representing "Just Invalid" Knowledge. Australian Joint Conference on Artificial Intelligence John K. Debenham
1998	Misc	`conf`	A Framework for Knowledge Reuse. FLAIRS John K. Debenham
1998	C	`conf`	A Workflow System Based on Agents. DEXA Igor T. Hawryszkiewycz, John K. Debenham
1998	—	`conf`	An Experimental Agent-based Workflow System. PAAM John K. Debenham
1998	B	`conf`	An Intelligent Tutoring System for Teaching Formal Languages. Intelligent Tutoring Systems Vladan Devedzic, John K. Debenham
1998	—	`conf`	Constructing an Intelligent Multi-Agent Workflow System. Australian Joint Conference on Artificial Intelligence John K. Debenham
1998	—	`book`	Knowledge engineering - unifying knowledge base and database design. John K. Debenham
1997	—	`conf`	A Knowledge-Based System for Workflow Management Using the World Wide Web. Australian Joint Conference on Artificial Intelligence John K. Debenham
1997	C	`conf`	An Analysis of Database Rules. IDEAS John K. Debenham
1997	C	`conf`	Constructing the Functional Model. DEXA John K. Debenham
1997	C	`conf`	From Conceptual Model to Internal Model. ISMIS John K. Debenham
1996	C	`conf`	Designing Knowledge-Based Systems for Optimal Performance. DEXA John K. Debenham
1996	Misc	`conf`	Integrating knowledge base and database. SAC John K. Debenham
1996	B	`conf`	Knowledge Decomposition: An Analysis. PRICAI John K. Debenham
1996	C	`conf`	Knowledge Simplification. ISMIS John K. Debenham
1996	C	`conf`	Reduction of a Knowledge Model. SEKE John K. Debenham
1995	C	`conf`	A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems. SEKE John K. Debenham
1995	C	`conf`	Knowledge Constraints. IEA/AIE John K. Debenham
1995	C	`conf`	Understanding Expert Systems Maintenance DEXA John K. Debenham
1993	C	`conf`	Decomposition of Four Component Items. DEXA John K. Debenham
1993	A	`conf`	Normalizing Knowledge Objects. CIKM John K. Debenham
1992	C	`conf`	Modelling Knowledge Systems. DEXA John K. Debenham
1991	—	`conf`	The Construction of Maintainable Knowledge Bases. The Next Generation of Information Systems John K. Debenham
1990	C	`conf`	Knowledge Systems: A Synthesis of Database Systems and Expert Systems Technologies. DEXA John K. Debenham
1989	—	`book`	Knowledge systems design. John K. Debenham
1989	J	`jnl`	Normal forms of rule-based knowledge systems. Knowl. Based Syst. John K. Debenham
1989	A*	`conf`	The Implementation of Expert, Knowledge-Based Systems. IJCAI John K. Debenham
1985	J	`jnl`	Knowledge Base Design. Aust. Comput. J. John K. Debenham
1983	J	`jnl`	LOFE: A Language for Virtual Relational Data Base. Aust. Comput. J. John K. Debenham, G. M. McGarth
1972	J	`jnl`	Lemma Production with a Binary Resolution Based Theorem-prover. Aust. Comput. J. John K. Debenham