POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language.

Gregory Dean Gibbons

Browse the full IJCAI paper archive.