Programming with non-determinism in deductive databases
scientific article; zbMATH DE number 1078887