Efficient Search as a Means of Executing Specifications.

Craig Damon, Daniel Jackson

Browse the full TACAS paper archive.