Untangling Reverse Engineering with Logic and Abstraction.

Andy King

Browse the full ICLP paper archive.