`Travelled to:`

1 × Italy

1 × Portugal

1 × USA

`Collaborated with:`

E.Rosenthal A.Matusiewicz R.Hähnle

`Talks about:`

dissolut (2) resolut (2) theori (2) graph (2) link (2) base (2) implement (1) theorem (1) dissolv (1) connect (1)

## Person: Neil V. Murray

### DBLP: Murray:Neil_V=

### Contributed to:

### Wrote 5 papers:

- KEOD-2009-MatusiewiczMR #logic
- Reduced Implicate Tries and Logical Operations (AM, NVM, ER), pp. 456–459.
- IJCAR-2001-HahnleMR #graph #order
- Ordered Resolution vs. Connection Graph Resolution (RH, NVM, ER), pp. 182–194.
- CADE-1990-MurrayR #named #proving #theorem proving
- DISSOLVER: A Dissolution-based Theorem Prover (NVM, ER), pp. 665–666.
- CADE-1988-MurrayR #implementation
- An Implementation of a Dissolution-Based System Employing Theory Links (NVM, ER), pp. 658–674.
- CADE-1986-MurrayR #graph #semantics
- Theory Links in Semantic Graphs (NVM, ER), pp. 353–364.