Tomasz Terlikowski. A logical approach to control. The concept of Inner Implication. Fundamenta Informaticae, 53(3-4):391-397, 2002. [doi]
@article{Terlikowski02a,
title = {A logical approach to control. The concept of Inner Implication},
author = {Tomasz Terlikowski},
year = {2002},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=53&issue=3&spage=391},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Terlikowski02a},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {53},
number = {3-4},
pages = {391-397},
}