A situation calculus model of hypertext | IEEE Conference Publication | IEEE Xplore