SMS: Prolog: The Next 50 Years edited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi. [electronic resource] /