Renwei Li Luís Moniz Pereira Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. 245-303 1997 21 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai21.html#LiP97