GidL: A grounder for FO (2008)

by WMD08a Johan Wittocx, Maarten Mariën, Marc Denecker
Venue:In In Proc., Twelfth International Workshop on NMR