Re: Referencing Mizar articles

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Yatsuka Nakamura wrote:

> If all universities became virtual(exists only electronically)
> resarchers will be estimated by only electronic publshments.
> But now, I believe almost all existing universiteis do not
> admit electronic ones.  Young reserchers who are working in Mizar
> projects 
> must get jobs in the old universities or institutes.  In this reason,
> FM is still important.

Please note that there are electronic publications which are as serious
as a publication can get and they are widely recognized, eg. 
	http://cs-www.uchicago.edu/publications/cjtcs/

Besides, I am not proposing to abandon the paper version altogether.
I have proposed to make the electronic JFM the primary and the
archive, which can be printed, secondary.  The important issue is that
both should be synchronized, and the printable version appears as soon
as possible and not several years later, as it is now.  Appears
electronically as a part of JFM, and then anyone willing to print it
for whatever reason, would be able to do so.

-- 
Piotr Rudnicki