About the Author

Krzysztof Apt is professor of computer science and Robert van Rooij is a senior staff member at the Institute for Logic, Language and Computation at the University of Amsterdam.