Title

A normal form for first-order logic over doubly-linked data structures

Document Type

Journal Article

Role

author

Standard Number

0129-0541

Journal Title

International Journal of Foundations of Computer Science

Volume

19

Issue

1

First Page

205

Last Page

218

Publication Date

2008

Share

COinS