Published in:

|
| |
| · Newsletter |
|
ACM SIGSOFT Software Engineering Notes
archive
|
Volume 36 Issue 4, July 2011
Pages 1-8
ACM New York, NY, USA
table of contents
doi>10.1145/1988997.198912
|
| · Journal |
|
Journal of Symbolic Logic
archive
|
Volume 59 Issue 2, June 1994
Pages 473-485
Association for Symbolic Logic, Inc. Champaign, IL, USA
table of contents
doi>10.2307/2275401
|