Tran Cao Son Phan Huy Tu Xin Zhang Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. 135-160 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0499-4 db/journals/sLogica/sLogica79.html#SonTZ05