A Framework for Prolog Debugging. - Luís Moniz Pereira; Miguel Calejo (ICLP/SLP, 1988)

Algorithmic Debugging of Prolog Side-Effects. - Luís Moniz Pereira; Miguel Calejo (EPIA, 1989)

Declarative Source Debugging. - Miguel Calejo; Luís Moniz Pereira (EPIA, 1991)

From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog. - Carlos Soares; Miguel Calejo (LPE, 1997)

Web Application Maker. - Miguel Calejo; Mário Araújo; Sónia Mota Araújo; Nuno Soares (ICEIS, 2002)

InterProlog: Towards a Declarative Embedding of Logic Programming in Java. - Miguel Calejo (JELIA, 2004)

Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL. - Carlos Soares; Miguel Calejo (ISoLA (1), 2010)

Advanced Knowledge Base Debugging for Rulelog. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (RuleML (2), 2013)

Understanding Rulelog Computations in Silk. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (CoRR, 2013)

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

How to do it with LPS (Logic-Based Production System). - Robert A. Kowalski; Fariba Sadri; Miguel Calejo (RuleML+RR (Supplement), 2017)

Using SWISH to realise interactive web based tutorials for logic based languages. - Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski 001; Torbjörn Lager; Fariba Sadri; Miguel Calejo (CoRR, 2018)

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. - Jan Wielemaker; Fabrizio Riguzzi; Robert A. Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo (Theory Pract. Log. Program., 2019)

Pacioli: A PROLOG System for Financial Report Processing. - Miguel Calejo; Charles Hoffman (Prolog: The Next 50 Years, 2023)

Logical English for Law and Education. - Robert A. Kowalski; Jacinto A. Dávila; Galileo Sartor; Miguel Calejo (Prolog: The Next 50 Years, 2023)

Combining Logic Programming and Imperative Programming in LPS. - Robert A. Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A. Dávila (Prolog: The Next 50 Years, 2023)