First publish year 1986
Symposium on Logic in Computer Science (1986 Cambridge, Mass.).
Don't miss the opportunity to share your thoughts!