Recent Papers

Note that I am NOT the author of the submission in 2006 (made by another Geoff Phillips)
to the Parliamentary enquiry into the Cross City Tunnel

• Analysis of Sydney Road Tunnels
• ASOR Conference Presentation
• Theorem Proving in the Propositional Algebra