@article{BSL19_4_Klunder,
author = {Barbara KLUNDER},
title = {Topos Based Semantics for Constructive Logic with Strong Negation},
journal = {Bulletin of the Section of Logic},
volume = {19},
number = {4},
year = {1990},
pages = {133--138}
}