A. Bezubik, T. Czyżycki, A. Dobrogowska, T. Goliński, M. Horowski, G. Jakimowicz, A. Odzijewicz, A. Sliżewska
Judgement of satisfiability under incomplete information
18th International Workshop on Concurrency, Specification and Computing, Kraków-Przegorzały, Poland, Sep 28-30, 2009
Humboldt University, Warsaw University (org.)
