@article{VanEmden86,
author = "van Emden, M.H. and M. Okhi and A. Takeuchi",
journal = "New Generation Computing",
keywords = "programmation logique",
number = "4",
title = "{S}peadsheets with {I}ncremental {Q}ueries as {U}ser {I}nterface
                   for {L}ogic {P}rogramming",
year = "1986",
}