www-formal.stanford.edu/buvac/a-declarative-formalization-of-knowledge-translation-CIKM95.ps

Preview meta tags from the www-formal.stanford.edu website.