  We use the method due to Batalin, Fradkin and Tyutin (BFT) for the
quantization of chiral boson theories. We consider the Floreanini-Jackiw (FJ)
formulation as well as others with linear constraints.
