Jean-Marc Talbot Sophie Tison Philippe Devienne Set-Based Analysis for Logic Programming and Tree Automata. 127-140 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#TalbotTD97