Equational and Membership Constraints for Infinite Trees

@techreport{pub6084,
    author = {

Niehren, Joachim
 and 

Podelski, Andreas
 and 

Treinen, Ralf
},
    title = {Equational and Membership Constraints for Infinite Trees},
    series = {DFKI Research Reports (RR)},
    year = {1993},
    volume = {93-14},
    pages = {33},
    institution = {DFKI}
}