Valentin B. Shehtman 539 2006 16 J. Log. Comput. 5 https://doi.org/10.1093/logcom/exl023 db/journals/logcom/logcom16.html#Shehtman06