Logic compilation from graphical dependency notation | IEEE Conference Publication | IEEE Xplore