M. Maher

Unification via Explicit Substitutions: The Case of Higher-Order Patterns

M. Maher, 1996 .

On the Modeling and Analysis of Regulations

Guido Governatori, Grigoris Antoniou, David Billington, 1999 .

Eecient Defeasible Reasoning Systems 7. Current and Future Work Eecient Defeasible Reasoning Systems Levels(n)

Benjamin N. Grosof, D. M. Reeves, R. Reiter, 2001 .

PROCALOG — Programming with Constraints and Abducibles in Logic

Michael Maher, M. Maher, 1996 .

Optimizing Queries in Extended

M. Maher, RelationalDatabasesMi hael Maher, Junhu WangCIT, 2022 .

Computational Logic in Australia

M. Maher, D. Billington, 2022 .

Solving Numerical Constraints

Michael J. Maher, Volker Weispfenning, Alexander Bockmayr, 2001, Handbook of Automated Reasoning.

Inferring Left-terminating Classes of Queries for Constraint Logic Programs

Frédéric Mesnard, M. Maher, 1996 .