Invited Papers.- Well-Founded and Partial Stable Semantics Logical Aspects.- The Reachability Pro...

This book constitutes the refereed proceedings of the 14th International Conference on Combinator...