Logical Rules of Natural Reasoning about Programs.

Fred Krger

Browse the full ICALP paper archive.