Problem models for rule based planning

Alan Lindsay. Problem models for rule based planning. PhD thesis, University of Strathclyde, Glasgow, UK, 2015. [doi]