An artificial functional spinal unit including an expandable intervertral implant that can be inserted via a posterior surgical approach and used with one or more facet replacement devices to provide an anatomically correct range of motion is described. Lordotic and non-lordotic expandable, articulating implants and cages are described, along with embodiments of facet replacement devices and instruments for insertion. Methods of insertion are also described.