Other physical media:
*Journal of automated reasoning (Dordrecht. Online)
ISSN: 1573-0670
ISSN-L: 01687433
Cumulative holding: 1985-