Focusing ATMS Problem-Solving: A Formal Approach

Cite this paper

@inproceedings{Ngair2014FocusingAP, title={Focusing ATMS Problem-Solving: A Formal Approach}, author={Teow-Hin Ngair and Gregory M. Provan}, year={2014} }