Towards a Model Logic for p-Calculus.

Taolue Chen, Tingting Han, Jian Lu

Browse the full COMPSAC paper archive.