Search
2013
with Dodig-Crnkovic Gordana
in: Computing nature, Dordrecht : Springer
1994
with Kuznetsov Vladimir
Synthese 100/1