Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008) Hawaii International Conference on System Sciences, Proceedings of the 41st Annual. :99-99 Jan, 2008
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications (J. Appl. Logics) (20200101), 7, no.~1, 5-27. ISSN: 2631-9810 (print).eISSN: 2631-9829.