Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Research output: Contribution to journalArticle

23 Citations (Scopus)
Original languageUnknown
Pages (from-to)325-361
JournalFundamenta Informaticae
Volume102
Issue number3-4
DOIs
Publication statusPublished - 1 Jan 2010

Cite this