Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
scientific article; zbMATH DE number 5595386
scientific article