LOPSTR'97 (Conference) (7th 1997 Leuven, Belgium) profile picture

LOPSTR'97 (Conference) (7th 1997 Leuven, Belgium)

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

Stand Alone

Logic program synthesis and transformation