@article{1093636010, author = {Barba Escriba, Juan}, title = {Two formal systems for situation semantics.}, journal = {Notre Dame J. Formal Logic}, volume = {32}, number = {2}, year = {1991}, pages = { 70-88}, language = {en}, url = {http://dml.mathdoc.fr/item/1093636010} }
Barba Escriba, Juan. Two formal systems for situation semantics.. Notre Dame J. Formal Logic, Tome 32 (1991) no. 2, pp. 70-88. http://gdmltest.u-ga.fr/item/1093636010/