Anthony Seda

• Mathematical Aspects Of Logic Programming Semantics