Jens Claßen: Symbolic Verification of Golog Programs with First-Order BDDs. KR 2018: 524-529