LOPSTR 91 (Conference) (1991 University of Manchester) profile picture

LOPSTR 91 (Conference) (1991 University of Manchester)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Logic program synthesis and transformation