Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
scientific article; zbMATH DE number 6084925