Javier Pinto Compiling Ramification Constraints into Effect Axioms. 280-307 1999 15 Computational Intelligence db/journals/ci/ci15.html#Pinto99