Using Simple Pushlogic.

David J. Greaves, Daniel Gordon

Browse the full WEBIST paper archive.