Three paths to effectiveness (2010)

by U Boker, N Dershowitz
Venue:Fields of Logic and Computation, LectureNotesin Computer Science 6300