James McKinna. Complements Witness Consistency. In Anthony Anjorin, Jeremy Gibbons, editors, Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Volume 1571 of CEUR Workshop Proceedings, pages 90-94, CEUR-WS.org, 2016. [doi]
Abstract is missing.