A Normal Form for First-Order Logic over Doubly-Linked Data Structures.

Steven Lindell A Normal Form for First-Order Logic over Doubly-Linked Data Structures. 205-217 2008 19 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054108005632 db/journals/ijfcs/ijfcs19.html#Lindell08