Alexei Lisitsa Igor Potapov On the Computational Power of Querying the History. 395-409 2009 91 Fundam. Inform. 2 http://dx.doi.org/10.3233/FI-2009-0049 db/journals/fuin/fuin91.html#LisitsaP09