.

Maurice Bruynooghe Hendrik Blockeel Bart Bogaerts Broes De Cat Stef De Pooter Joachim Jansen Anthony Labarre Jan Ramon Marc Denecker Sicco Verwer

Published in: Theory Pract. Log. Program. (2015)

Keyphrases