Title: Problem solving and nondeterministic programming systems
Subjects: Computer science