A Note on the Admissibility of Cut in Relevant Tableau Systems. - Michael A. McRobbie; Robert K. Meyer (Math. Log. Q., 1979)

The KRIPKE Automated Theorem Proving System. - Paul B. Thistlewaite; Michael A. McRobbie; Robert K. Meyer (CADE, 1986)

Automated theorem-proving in non-classical logics. - Paul B. Thistlewaite; Michael A. McRobbie; Robert K. Meyer (Pitman, 1988)

Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. - Roderic A. Girle; Michael A. McRobbie (Australian Joint Conference on Artificial Intelligence, 1988)

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. - Michael A. McRobbie; Robert K. Meyer; Paul B. Thistlewaite (CADE, 1988)

Artificial intelligence: Perspectives and Predictions. - Michael A. McRobbie; Jörg H. Siekmann (Appl. Artif. Intell., 1991)

Automated Reasoning and Nonclassical Logics: Introduction. - Michael A. McRobbie (J. Autom. Reason., 1991)

Approaching Hard Non-Classical Problems. - Paul B. Thistlewaite; Michael A. McRobbie (J. Autom. Reason., 1991)

Linear Analytic Tableaux. - Robert K. Meyer; Michael A. McRobbie; Nuel Belnap (TABLEAUX, 1995)

Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications. - Michael A. McRobbie; Donald F. McMullen; K. H. Adams; Dennis Gannon; Douglas D. Pearson; R. Allen Robel; Steven S. Wallace; James G. Williams 003 (HPDC, 1998)

TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications. - Charlie Catlett; William E. Allcock; Phil Andrews; Ruth A. Aydt; Ray Bair; Natasha Balac; Bryan Banister; Trish Barker; Mark Bartelt; Peter H. Beckman; Francine Berman; Gary R. Bertoline; et al. (High Performance Computing Workshop, 2006)