Beata Konikowska, Marcin Bialasik. Reasoning with First Order Nondeterministic Specifications. Acta Informatica, 36(5):375-403, 1999. [doi]
@article{KonikowskaB99, title = {Reasoning with First Order Nondeterministic Specifications}, author = {Beata Konikowska and Marcin Bialasik}, year = {1999}, url = {http://link.springer.de/link/service/journals/00236/bibs/9036005/90360375.htm}, researchr = {https://researchr.org/publication/KonikowskaB99}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {36}, number = {5}, pages = {375-403}, }