@article{Clarke08:0,
  title = {A Basic Logic for Reasoning about Connector Reconfiguration},
  author = {Dave Clarke},
  year = {2008},
  url = {http://iospress.metapress.com/content/y727h82347061252/},
  tags = {logic},
  researchr = {https://researchr.org/publication/Clarke08%3A0},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {82},
  number = {4},
  pages = {361-390},
}