de.hhu.stups:alloy2b (maven): The Parser for our translation from Alloy to B returning a Prolog Term.
Keywords: alloy|b-method|translation