).

Rumen D. Dimitrov
Published in: Arch. Math. Log. (2008)
Keyphrases