An approach from answer set programming to decision making in a railway interlocking system
scientific article; zbMATH DE number 6341686
scientific article