An introduction to SLDL and Rosetta | IEEE Conference Publication | IEEE Xplore