An Experimental Study of Reasoning with Sequences of Point Events. - Rattana Wetprasit; Abdul Sattar 001; Matthew Beaumont (PRICAI, 1998)

Solving Overconstrained Temporal Reasoning Problems. - Matthew Beaumont; Abdul Sattar 001; Michael J. Maher; John Thornton 001 (Australian Joint Conference on Artificial Intelligence, 2001)

Applying Local Search to Temporal Reasoning. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (TIME, 2002)

Solving Over-Constrained Temporal Reasoning Problems Using Local Search. - Matthew Beaumont; John Thornton 001; Abdul Sattar 001; Michael J. Maher (PRICAI, 2004)

A Local Search Approach to Modelling and Solving Interval Algebra Problems. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (J. Log. Comput., 2004)