Mixtus: An automatic partial evaluator for full Prolog
scientific article; zbMATH DE number 490752